141. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
پدیدآورنده : J.L.A. van de Snepscheut )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
375
142. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
پدیدآورنده : Eerke A. Boiten, Bernhard Moller )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2386
143. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده : Johan Jeuring, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
144. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
145. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
146. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
147. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده : Dexter Kozen, editor
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
148. Mathematics of the decision sciences
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : PROGRAMMING )MATHEMATICS(-CONGRESSES , CONTROL THEORY-CONGRESSES , DECISION-MAKING-CONGRESSES
رده :
QA
264
.
S85
1967
149. Mathematics of the decision sciences
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Programming )Mathematics(,Congresses ، Control theory,Congresses ، Decision making
رده :
QA
264
.
S85
1967
150. Mathematics of the decision sciences
پدیدآورنده : George B. Dantzig, Arthur F. Veinot, Jr editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming )Mathematics(,Congresses ، Control theory,Congresses ، Decision making
رده :
QA
402
.
5
.
S85
1967
151. Model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
152. Modeling and optimization :
پدیدآورنده : János D. Pintér, Tamás Terlaky, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical models, Congresses.,Mathematical optimization, Congresses.,Mathematical models.,Mathematical optimization.
رده :
QA401
153. Modelling, simulation, and optimization of complex processes :
پدیدآورنده : Hans Georg Bock [and others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering-- Data processing, Congresses.,High performance computing, Congresses.,Science-- Data processing, Congresses.,Engineering-- Data processing.,Engineering-- Data processing.,High performance computing.,High performance computing.,Science-- Data processing.,Science-- Data processing.
رده :
QA76
.
88
.
I5757
2003
154. Multi-objective programming and goal programming
پدیدآورنده : Mehrdad Tamiz, ed,Series
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Multiple criteria decision making -- Congresses,Programming )Mathematics( -- Congresses
رده :
T
.
M82
57
.
95
1996
155. Multi-objective programming and goal programming: theories and applications
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Multiple criteria decision making,Congresses ، Programming )Mathematics(
رده :
T
57
.
95
.
M82
1996
156. Multi-objective programming and goal programming: theory and applications
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Multiple criteria decision making,Congresses ، Programming )Mathematics(
رده :
T
57
.
95
.
I56
2002
157. Multiobjective problems of mathematical programming : proceedings of the International Conference on Multiobjective Problems of Mathematical Programming, held in Yalta, USSR, October 26-November 2, 1988
پدیدآورنده : International Conference on Multiobjective Problems of Mathematical Programming )8891: IAlta, Ukraine(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(-- Congresses,، Multiple criteria decision making-- Congresses
رده :
QA
402
.
5
.
I489
1988
158. Multiobjective programming and goal programming: theoretical results and practial applications
پدیدآورنده : Vincent Barichard ... ]et al.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Multiple criteria decision making,Congresses ، Programming )Mathematics(
رده :
QA
279
.
4
.
I58
2009
159. Multiobjective programming and goal programming: theoretical results and practical applications
پدیدآورنده :
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Multiple criteria decision making -- Congresses,Programming (Mathematics) -- Congresses
رده :
QA
279
.
4
.
I58
2009
160. Multiple objective and goal programming :
پدیدآورنده : Tadeusz Trzaskalik ; Jerzy Michnik, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiple criteria decision making -- Congresses.,Multiple criteria decision making.,Programming (Mathematics) -- Congresses.
